Proof of nondefinability
Translation of "proof of nondefinability" into Russian
proof of nondefinability
доказательство неопределимости
The mathematician presented a proof of nondefinability in the given system.
Математик представил доказательство неопределимости в данной системе.